3481. Theory of program structures:Schemes, Semantics, Verification
پدیدآورنده : Greinach, Sheila
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,Recurlive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
3482. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
3483. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
3484. Threshold logic
پدیدآورنده : LEWIS,PHILIP M
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : THRESHOLD LOGIC , ELECTRONIC DIGITAL COMPUTERS-CIRCUITS
رده :
TK
7888
.
3
.
L4
3485. Threshold logic
پدیدآورنده : Lewis, Philip M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Threshold logic,، Electronic digital computers-- Circuits
رده :
TK
7888
.
3
.
L4
3486. Threshold logic: a synthesis approach
پدیدآورنده : Dertouzos, Michael L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Threshold logic,، Electronic digital computers-- Circuits
رده :
QA
401
.
D38
3487. Title in Russian.
پدیدآورنده : Kutsyk
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Electronic digital computers -- Programming
رده :
QA
76
.
6
.
K876
3488. Title in Russian
پدیدآورنده : Apokin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Calculating - machines -- History,Electronic digital Computers -- History
رده :
TK
4090
.
A66
3489. To pace or not to pace :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
RC684
.
P3
T673
2013
3490. Tool integration and design environments: Proceedings of the IFIP WG 10.2 workshop on tool integration and design environments Paderborn, FRG, 26-27 November, 1987
پدیدآورنده : Edited by Franz J. Rammig
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : System design- Congresses,Electronic digital computers- Design and construction- Data proessing- Congresses,Computer- aided design- Congresses
رده :
QA
،
76
.
9
،.
S88
,
I354
،
1987
3491. Top-down structured programming techniques
پدیدآورنده : McGowan, Clement L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
M318
1975
3492. Topics in engineering logic
پدیدآورنده : Madler, Morton.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Design and construction,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
N3
1962
3493. Topics in interval analysis
پدیدآورنده : edited by E. Hansen,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Interval analysis )Mathematics( - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
.
S92
297
1968
3494. Transferred illusions :
پدیدآورنده : Marilyn Deegan and Kathryn Sutherland.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Books and reading.,Communication in learning and scholarship-- Technological innovations.,Digital libraries.,Electronic publications.,Information technology-- Social aspects.,Library materials-- Digitization.,Newspaper publishing-- Technological innovations.,Publishers and publishing-- Technological innovations.,Scholarly electronic publishing.,Transmission of texts.,Books and reading.,Communication in learning and scholarship-- Technological innovations.,COMPUTERS-- Electronic Publishing.,Digital libraries.,Electronic publications.,Information technology-- Social aspects.,Library materials-- Digitization.,Newspaper publishing-- Technological innovations.,Publishers and publishing-- Technological innovations.,Scholarly electronic publishing.,Transmission of texts.
رده :
Z278
.
D44
2009
3495. Transmission lines in computer engineering /
پدیدآورنده : Sol Rosenstark
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electric circuit analysis,Electronic digital computers-- Circuits-- Design and construction,Microwave wiring
رده :
TK7888
.
4
.
R66
1994
3496. Trends and applications: 1978; distributed processing
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic data processing,، Electronic digital computers
رده :
QA
76
.
5
.
S98
1978
3497. Trends and applications; micro and mini systems. ]Held[ in Gaithersburg, Maryland May 27, 1976
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Congresses,، Miniature computers-- Congresses
رده :
QA
76
.
5
.
S96
1976
3498. Trends in information processing systems : 3rd conference of the European Cooperation in Informatics, Munich, October 20-22, 1981 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic data processing - Congresses,، Electronic digital computers - Congresses
رده :
QA
75
.
5
.
T73
3499. Tru64 UNIX troubleshootin
پدیدآورنده : / Martin Moore, Steven Hancock
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : UNIX (Computer file),Operating systems (Computers),Software maintenance.,Debugging in computer science.
رده :
QA
,
76
.
76
,.
O63
,
M658
,
2003b
3500. TruCluster server handbook
پدیدآورنده : by Scott Fafrak ... [et al.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Client/server computing.,Electronic data processing -- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
58
B973
2003
